Results for 'B. A. Trahtenbrot'

948 found
Order:
  1.  36
    B. A. Trahténbrot. O častotnom vyčislénii funkcij . Algébra i logika, Séminar, vol. 2 no. 1 , pp. 25–32.Elliott Mendelson - 1974 - Journal of Symbolic Logic 39 (3):606.
  2.  7
    Review: B. A. Trahtenbrot, The Definition of a Finite Set and the Deductive Incompleteness of Set Theory. [REVIEW]Andrzej Mostowski - 1962 - Journal of Symbolic Logic 27 (2):236-237.
  3.  22
    B. A. Trahtenbrot. Algorithmes et machines à calculer. French translation of XXVIII 111, by A. Chauvin. Dunod, Paris1963, x + 149 pp. [REVIEW]Hugues Leblanc - 1964 - Journal of Symbolic Logic 29 (3):147-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  14
    Review: B. A. Trahtenbrot, Doklady akademii nauk SSSR. [REVIEW]Jiří Bečvář - 1964 - Journal of Symbolic Logic 29 (2):98-100.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  51
    B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 , pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 , pp. 814–817. [REVIEW]Richard E. Ladner - 1973 - Journal of Symbolic Logic 38 (3):527.
  6.  22
    (1 other version)N. É. Kobrinskij and B. A. Trahténbrot. Vvédénié v téoriú konéčnyh avtomatov . Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow1962, 404 pp. [REVIEW]Jiří Bečvář - 1964 - Journal of Symbolic Logic 29 (2):97-98.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  36
    Konéčnyé avlomaty - B. A. Trahténbrot and Á. M. Barzdin′. Konéčnyé avlomaty . Izdatél′stvo “Nauka,”Moscow1970, 400 pp. [REVIEW]Robert McNaughton - 1977 - Journal of Symbolic Logic 42 (1):111-112.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  34
    Trahténbrot B. A.. Ob opératorah réalizuémyh v logičéskih sétah . Doklady Akadémii Nauk SSSR, vol. 112 , pp. 1005–1007.Andrzej Blikle - 1962 - Journal of Symbolic Logic 27 (2):252-253.
  9.  31
    Trahténbrot B. A.. Tabličnoé prédstavlénié rékursivnyh opératorov . Doklady Akadémii Nauk SSSR, vol. 101 , pp. 417–420.Andrzej Mostowski - 1956 - Journal of Symbolic Logic 21 (2):207-208.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  33
    Trahténbrot B. A.. O rékursivnoj otdélimosti . Doklady Akadémii Nauk SSSR, vol. 88 , pp. 953–956.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (1):60-60.
  11.  15
    Trahténbrot B. A.. Sintéz logičéskih sétéj, opératory kotoryh opisany srédstvami isčisléniá odnoméstnyh predikátov . Doklady Akadémii Nauk SSSR, vol. 118 , pp. 646–649. [REVIEW]Andrzej Blikle - 1963 - Journal of Symbolic Logic 28 (3):254-255.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  59
    Trahténbrot B. A.. Névozmožnost' algorifma dlá problémy razréšimosti na konéčnyh klassah . Doklady Akademii Nauk SSSR, vol. 70 , pp. 569–572. [REVIEW]Andrzej Mostowski - 1950 - Journal of Symbolic Logic 15 (3):229-229.
  13.  12
    Trahténbrot B. A.. Nékotoryé postroéniá v logiké odnoméstnyh. prédikatov . Doklady Akadémii Nauk SSSR vol. 138 , pp. 320–321. [REVIEW]Andrzej Mostowski - 1964 - Journal of Symbolic Logic 29 (2):100-100.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  24
    Trahténbrot B. A.. Složnost algoritmov i vyčíslenij ). Novosibirskij Gosudarstvénnyj Univérsitét, Novosibirsk 1967, 258 pp., mimeographed. [REVIEW]Jiří Bečvář - 1970 - Journal of Symbolic Logic 35 (2):337-339.
  15.  28
    Trahténbrot B. A.. Optimal′nyé vyčísléniá i častotnoé ávlénié Åblonskogo . Algébra i logika, Séminar, vol. 4 no. 5 , pp. 79–93. [REVIEW]Jiří Bečvář - 1969 - Journal of Symbolic Logic 34 (1):134-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  22
    Trahténbrot B. A.. Asimptotičéskaá océnka složnosti logičéskih sétéj s památ′ú. Doklady Akadémii Nauk SSSR, vol. 127 , pp. 281–284.Trahtenbrot B. A.. Asymptotic evaluation of the complexity of logic nets with memory. English translation of the above. Automation express,, vol. 2 , pp. 13–14. [REVIEW]Andrzej Blikle - 1964 - Journal of Symbolic Logic 29 (2):100-100.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    Trahténbrot B. A.. T′úringovy vyčisléniá s logarifmičéskim zamédléniém . Algébra i logika, Séminar, vol. 3 no. 4 , pp. 33–48. [REVIEW]Jiří Bečvář - 1968 - Journal of Symbolic Logic 33 (1):118-119.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  24
    Trahténbrot B. A.. Konéčnyé avtomaty i logika odnoméstnyh predikátov . Doklady Akadémii Nauk SSSR, vol. 138 , pp. 326–329. [REVIEW]Jiří Bečvář - 1964 - Journal of Symbolic Logic 29 (2):100-100.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  16
    Kuznécov A. V. and Trahténbrot B. A.. Isslédovanié častično-rékursivnyh opératorov srédstvami téorii berovskogo prostranstva . Doklady Akadémii Nauk SSSR, vol. 105 , pp. 897–900. [REVIEW]J. W. Addison - 1957 - Journal of Symbolic Logic 22 (3):301-302.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  25
    Nurses’ ethical challenges when providing care in nursing homes during the COVID-19 pandemic.A. H. Hillestad, A. M. M. Rokstad, S. Tretteteig, S. G. Julnes, B. Lichtwarck & S. Eriksen - 2023 - Nursing Ethics 30 (1):32-45.
    Background: Older, frail patients with multimorbidity are at an especially high risk for disease severity and death from COVID-19. The social restrictions proved challenging for the residents, their relatives, and the care staff. While these restrictions clearly impacted daily life in Norwegian nursing homes, knowledge about how the pandemic influenced nursing practice is sparse. Aim: The aim of the study was to illuminate ethical difficult situations experienced by Norwegian nurses working in nursing homes during the COVID-19 pandemic. Research design and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  29
    Toward unbiased measurement of conscious and unconscious memory processes within the process dissociation framework.A. Buchner, E. Erdfelder & B. Vaterrodt-Plunnecke - 1995 - Journal of Experimental Psychology 124 (2):137-60.
  22. JACOBELLI A. M. ISOLDI, "G. B. Vico. La Vita e le opere".B. A. B. A. - 1961 - Rivista di Filosofia Neo-Scolastica 53:210.
    No categories
     
    Export citation  
     
    Bookmark  
  23.  46
    Information disclosure and decision-making: the Middle East versus the Far East and the West.A. F. Mobeireek, F. Al-Kassimi, K. Al-Zahrani, A. Al-Shimemeri, S. al-Damegh, O. Al-Amoudi, S. Al-Eithan, B. Al-Ghamdi & M. Gamal-Eldin - 2008 - Journal of Medical Ethics 34 (4):225-229.
    Objectives: to assess physicians’ and patients’ views in Saudi Arabia towards involving the patient versus the family in the process of diagnosis disclosure and decision-making, and to compare them with views from the USA and Japan.Design: A self-completion questionnaire was translated to Arabic and validated.Participants: Physicians from different specialties and ranks and patients in a hospital or attending outpatient clinics from 6 different regions in KSA.Results: In the case of a patient with incurable cancer, 67% of doctors and 51% of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  32
    Trust and trustworthiness in nurse–patient relationships.B. A. Rgn - 2002 - Nursing Philosophy 3 (2):152–162.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. A Version of Bar-Induction. Abstract.B. A. Kushner - 1992 - Journal of Symbolic Logic 57:361.
     
    Export citation  
     
    Bookmark  
  26.  34
    The baker's transformation is not embeddable.B. Schweizer & A. Sklar - 1990 - Foundations of Physics 20 (7):873-879.
    The baker's transformation is one of the earliest and simplest examples of a bijective mixing transformation. By determining its cycle structure, we show that this transformation is not embeddable in any flow, i.e., one-parameter semigroup, on the nonnegative rationals and,a fortiori, not emdeddable in any flow on the reals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. SOMIGLIANA A., "Monismo indiano e monismo greco nei frammenti di Eraclito".B. A. B. A. - 1962 - Rivista di Filosofia Neo-Scolastica 54:123.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  3
    Dialektika vchera, segodni︠a︡, zavtra: uchebnoe posobie.B. A. Kislov (ed.) - 1996 - Irkutsk: Izd-vo Irkutskoĭ ėkon. akademii.
  29.  41
    A survey of calgary paediatricians'attitudes regarding the treatment of defective newborns. A report from canada.B. A. Y. E. & MICHAEL M. BURGESS - 1991 - Bioethics 5 (2):139–149.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  20
    Dislocation relaxation in single crystals of silver.B. M. Mecs & A. S. Nowick - 1968 - Philosophical Magazine 17 (147):509-523.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Implicit learning: Indirect, not unconscious.B. W. A. Whittlesea & M. D. Dorken - 1997 - Psychonomic Bulletin and Review 4:63-67.
  32. "Estudios sobre el pensamiento hispanoamericano en José Gaos", Ecuador, Utp, 2015.A. B. H. - 2015 - UTPL.
  33. The Burmese and Arakanese Calendars.A. M. B. Irwin - 1909 - The Monist 19:638.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  18
    Shape of the conditioned eyelid response.A. B. Levey & Irene Martin - 1968 - Psychological Review 75 (5):398-408.
  35.  9
    Planning parallel actions.A. R. Lingard & E. B. Richards - 1998 - Artificial Intelligence 99 (2):261-324.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. The effect of surface orientation on the perception of stereoscopic corrugations.A. D. Parton, M. F. Bradshaw, B. J. Rogers & I. R. L. Davies - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview Pub. Co. pp. 67-68.
     
    Export citation  
     
    Bookmark   2 citations  
  37.  97
    Internalism and Externalism in the Foundations of Mathematics.Alex A. B. Aspeitia - unknown
    Without a doubt, one of the main reasons Platonsim remains such a strong contender in the Foundations of Mathematics debate is because of the prima facie plausibility of the claim that objectivity needs objects. It seems like nothing else but the existence of external referents for the terms of our mathematical theories and calculations can guarantee the objectivity of our mathematical knowledge. The reason why Frege – and most Platonists ever since – could not adhere to the idea that mathematical (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  27
    Triviality, NDOP and stable varieties.B. Hart, A. Pillay & S. Starchenko - 1993 - Annals of Pure and Applied Logic 62 (2):119-146.
    We study perfectly trivial theories, 1-based theories, stable varieties, and their mutual interaction. We give a structure theorem for the models of a complete perfectly trivial stable theory without DOP: any model is the algebraic closure of a nonforking regular tree of elements. We also give a structure theorem for stable varieties, all of whose completions have NDOP. Such a variety is a varietal product of an affine variety and a combinatorial variety of an especially simple form.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  54
    Flosculi Graeci. By A. B. Poynton. Pp. 162. Clarendon Press. 7s. 6d. net.B. A. R. - 1921 - The Classical Review 35 (1-2):42-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. A Study of Spinoza.B. A. G. Fuller - 1932 - Pacific Philosophical Quarterly 13 (2):94.
     
    Export citation  
     
    Bookmark  
  41.  35
    Spin treatment-based approach for electronic transport in paramagnetic liquid transition metals.B. Grosdidier, A. Ben Abdellah, K. Bouziane, S. M. Mujibur Rahman & J. G. Gasser - 2013 - Philosophical Magazine 93 (26):3576-3588.
  42.  27
    Belydenisvorming as kanonisering van geloofsoortuigings.A. P. B. Breytenbach - 2000 - HTS Theological Studies 56 (2/3).
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  14
    The church’s responsibility towards the social order: An Old Testament hermeneutic problem.A. P. B. Breytenbach - 2005 - HTS Theological Studies 61 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Naẓarīyat al-burhān al-manṭiqīyah ʻinda al-Fārābī wa-mawqif Ibn Sīnā wa-Ibn Bājah minhā.Niḍāl Dhākir ʻAdhāb - 2010 - Baghdād: Bayt al-Ḥikmah.
    Fārābī; Avicenna, 980-1037; Avempace, -1138 or 1139; logic; Islamic philosophy; history.
     
    Export citation  
     
    Bookmark  
  45. Joannes Arthurus Chollet: "Theologica lucis theoria".P. B. L. A. - 1894 - Revue Thomiste 2 (1/6):821.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  21
    The Life Esidimeni tragedy: A human-rights perspective.B. A. Ferlito & A. Dhai - 2017 - South African Journal of Bioethics and Law 10 (2):50.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  47. Response: Evil and the moral agency of animals.B. A. Dixon - 1995 - Between the Species 11 (1-2):38-40.
  48.  53
    On the design of a conscious device.B. A. Farrell - 1970 - Mind 79 (July):321-346.
  49.  27
    Suffering, Sovereignty, and the Purposes of God: Christian Convictions and Medical Killing.B. A. Lustig - 1995 - Christian Bioethics 1 (3):249-255.
    Despite a variety of “non-ecumenical” features in Christian arguments about suicide, assisted suicide, and euthanasia, there are obvious “ecumenical” aspects to be found in the general Christian prohibition of these practices. A fair reading of the Christian tradition requires that we acknowledge both the differences that distinguish particular perspectives and the fundamental themes that allow an identifiably Christian position to emerge in stark contrast to the secular discussion of these issues. Central to Christian interpretations of dying and death are an (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  22
    Sequence Generators and Digital Computers.A. W. Burks, J. B. Wright, Arthur W. Burks & Jesse B. Wright - 1964 - Journal of Symbolic Logic 29 (4):210-212.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 948